Formal methods

Results: 2204



#Item
931Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
932white paper  Successful projects start with high quality requirements Defining requirements clearly and accurately at the outset speeds software development processes and delivers dramatic savings.

white paper Successful projects start with high quality requirements Defining requirements clearly and accurately at the outset speeds software development processes and delivers dramatic savings.

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
933Managing Iterative Software Development  Managing Iterative Software Development....................................................1 Introduction..........................................................................

Managing Iterative Software Development Managing Iterative Software Development....................................................1 Introduction..........................................................................

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
934The Tactics of Software Development Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Introduction In a recent article, I compared and contrasted the job of a Premier League Football Manager with

The Tactics of Software Development Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Introduction In a recent article, I compared and contrasted the job of a Premier League Football Manager with

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
935What does your Software Development Process do for you? Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Contents What does your Software Development Process do for you? ...........................

What does your Software Development Process do for you? Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Contents What does your Software Development Process do for you? ...........................

Add to Reading List

Source URL: dthomas-development.co.uk

Language: English - Date: 2014-12-19 09:39:34
936The Use of Data Mining Methods to Evaluate Public Interest in Carbon Sequestration There has been no formal quantitative studies examining global warming in the news and comparing it with the occurrence of carbon sequest

The Use of Data Mining Methods to Evaluate Public Interest in Carbon Sequestration There has been no formal quantitative studies examining global warming in the news and comparing it with the occurrence of carbon sequest

Add to Reading List

Source URL: kalevleetaru.com

Language: English - Date: 2011-02-15 16:52:09
937REGULATIONS FOR THE DEGREE OF MASTER OF STATISTICS (MStat) For students admitted in[removed]and thereafter (See also General Regulations) Any publication based on work approved for a higher degree should contain a refe

REGULATIONS FOR THE DEGREE OF MASTER OF STATISTICS (MStat) For students admitted in[removed]and thereafter (See also General Regulations) Any publication based on work approved for a higher degree should contain a refe

Add to Reading List

Source URL: www.asa.hku.hk

Language: English - Date: 2013-12-09 11:06:42
938All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
939All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) Edward J. Schwartz, Thanassis Avgerinos, David Brumley Carnegie Mellon University Pittsburgh, PA

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2012-03-12 11:18:03
940A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that

A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2008-07-11 10:50:31